home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / oasis / ossxmpls.lha / examples / mysort.p < prev    next >
Encoding:
Text File  |  1992-03-26  |  669 b   |  31 lines
  1. mysort:1:4
  2. {;;}
  3. {
  4. &1:1:1:7 [;]
  5.  ([])
  6.     => ([]);;
  7.  ([?#-8:i|?#-7:l]) :-
  8.     &2:2:2(#-8:i, #-7:l)[;] (?#-5:l, ?#-4:l);
  9.     &1:1:1(#-5:l)[#-4:l;] (?#-3:l);
  10.     &1:1:1(#-4:l)[#-3:l;] (?#-2:l);
  11.     &3:2:1(1:i[#-8:i|#-2:l], #-3:l)[;] (?#-6:l)
  12.     => (#-6:l).
  13. &2:2:2:4
  14.  ([], _)
  15.     => ([], []);
  16.  ([?#-5:i|?#-4:l], _) :-
  17.     (#2:i):i >= (#-5:i):i |-
  18.     &2:2:2(#2:i, #-4:l)[;] (?#-3:l, ?#-2:l)
  19.     => [#-2:l,#-3:l;] (#-2:l, 1:i[#-5:i|#-3:l]);;
  20.  ([?#-5:i|?#-4:l], _) :-
  21.     (#2:i):i < (#-5:i):i |-
  22.     &2:2:2(#2:i, #-4:l)[;] (?#-3:l, ?#-2:l)
  23.     => [#-2:l,#-3:l;] (1:i[#-5:i|#-2:l], #-3:l).
  24. &3:2:1:3
  25.  ([], _)
  26.     => (#2:l);;
  27.  ([?#-4:i|?#-3:l], _) :-
  28.     &3:2:1(#2:l, #-3:l)[;] (?#-2:l)
  29.     => [#-2:l;] (1:i[#-4:i|#-2:l]).
  30. }
  31.